This patch fixes the x86_64 __xen_guest section allowing Mini-OS to run again.

Signed-off-by: Aravindh Puthiyaparambil <aravindh.puthiyaparambil@unisys.com>

diff --git a/extras/mini-os/x86_64.S b/extras/mini-os/x86_64.S
index e9d973a0947b8074e8f3c6a269b0133bb084951d..94c6b18d6e1f2089f188649d6e92fd9033f88d82 100644 (file)
--- a/extras/mini-os/x86_64.S
+++ b/extras/mini-os/x86_64.S
@@ -4,9 +4,10 @@
 .section __xen_guest
        .ascii  "GUEST_OS=Mini-OS"
        .ascii  ",XEN_VER=xen-3.0"
+       .ascii  ",VIRT_BASE=0xffffffff80000000" /* &_text from minios_x86_64.lds */
+       .ascii  ",ELF_PADDR_OFFSET=0xffffffff80000000"
        .ascii  ",HYPERCALL_PAGE=0x2"
        .ascii  ",LOADER=generic"
-       .ascii  ",PT_MODE_WRITABLE"
        .byte   0
 .text